Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
201	2 Priority-Flood: An Optimal Depression-Filling and Watershed-Labeling Algorithm for Digital Elevation Models 3 Add to Reading List Source URL: rbarnes.org Language: English - Date: 2013-10-24 03:01:10 Scheduling algorithms Computer science Priority queue Watershed Stack FIFO Heap Queue Time complexity Abstract data types Theoretical computer science Applied mathematics
202	A Lazy List Implementation in Squeak Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:36 Higher-order functions Abstract data types Data types C++ Standard Library Functional languages Map Iterator Set List Software engineering Computing Computer programming
203	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
204	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
205	Adding Reference Counting to the Shared Source Common Language Infrastructure _Chris_Sells_ and _Christopher_Tavares_, Abstract Moving to a garbage-collected environment in the Common Language Runtime has, for th Add to Reading List Source URL: www.sellsbrothers.com Language: English - Date: 2004-02-23 00:43:00 Memory management Object-oriented programming Data types Finalizer Garbage collection Reference counting Manual memory management Resource Acquisition Is Initialization Smart pointer Computing Software engineering Computer programming
206	The GNU C++ Library Doug Lea SUNY Oswego & NY CASE Center DRAFT The GNU C++ library (libg++) was among the rst widely available general-purpose C++ class libraries. Some classes were designed and implemented as early as Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:00:28 Object-oriented programming Data types Type theory Cross-platform software Abstract data types Object C++ Class Generic programming Software engineering Computing Computer programming
207	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
208	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
209	Once, Weakly: A Problem With Coordination A Problem With Coordination This item looks at problem in interface design that plays off safety and flexibility. Let’s look at a class template that is parameterized with some Add to Reading List Source URL: www.stevedewhurst.com Language: English - Date: 2015-01-04 09:38:51 C++ Standard Library Abstract data types C++ Generic programming Stack Sequence container Double-ended queue Template Allocator Software engineering Computing Computer programming
210	MeCC: Memory Comparison-based Clone Detector∗ Heejung Kim† , Yungbum Jung† , Sunghun Kim§ , Kwangkeun Yi† † Seoul National University, Seoul, Korea {hjkim,dreameye,kwang}@ropas.snu.ac.kr Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-06-14 09:36:59 Cross-platform software Data types Plagiarism Plagiarism detection C Type system Memory Abstract syntax tree Semantics Computing Software engineering Software

UPDATE